a=b.
unify_with_occurs_check(a(X),b).
